Trivial fixes

All these changes are to improve html code. Also, I, for consistency, updated the software name.