Another bug fix on CasualConc 2.0 (20160411)