A bug fix on CasualConc 2.0 (2015/12/25)