Updated version number in documentation.