// Fix unquoted version number