Correct a typo in manual.html