UserManual.html fixes