manual: tiny typo fixed.