fixup version number in manual