[BUG #7930] fix typos in manual