Proper release tag for alpha13.