Add a rule about a newline at eof