typo in CFG