Fix some version numbers in the documentation