Linebreaks

GitHub web editor always adds a final linebreak, so already add it to
stop messy commits.