Making @elemoine and GitHub happy

Reminder to self: everyone wants a new line at the end of a
file.