Ensure generated HTML files end with an empty line

Fixes #1