Do we want newlines at EOF?