Fix stringification of version number