Minor error fixed in Manual.html