Fixed CHR notation bug