Fixes to version numbers