Cosmetic textual change
Duplicate formula names are banned again