fix typos in MANUAL