Removed newline that github.com file editor inadvertently introduced.

Not sure if this is a big deal or not, but I figured it's better not
change things without explicit intent...