correction of version number in the documentation