Little bug in CUP implementation fixed