s3: Fix some nonempty blank lines