Fix typo in old manual.