Fix a rule about newline at eof

Source files should end with a newline, not a blank line.