Some tweaks related to the 'version number'