Ensure line numbers are the same in HTML.

Chrome and FF seem to be able to handle the extra empty lines, but no
harm making things more accurate. One thing less to worry about when
debugging.