Our coding guidelines requires a new blank line at EOF