Fix eof_spacing