S3: Fix some nonempty blank lines