fixed PCF syntax error