fix parsing of example formula