Fixed a small bug in debug2html. It wasn't properly checking EOF. The