whitespace: Remove extraneous lines.