Fix HTML typo in the User Manual