shorter version string