manual.org: Fix typo