Added parens to head formula syntax.