It turns out it is a bug in the generator template that generates an invalid <formula> tag for a property which already has a 'formula' attribute.