Fix some HTML typos in the User and Reference Manuals