Fix documentation version numbers