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