A bug fix on CasualConc 2.0