Fix some HTML typos in the User Manual