Shorter version number