Note that you can edit the manual, as discussed in this post. So you can fix this documentation bug yourself.
David
