fix version number in document