Fix version number in the documentation.