Fix issue with version number (see comment)