Fix some version numbers