Quote PRERELEASE version tag, #728