fix small typo (bad reference to section 9.2 of the manual)