A few more bug fixes to CasualConc 2.0 beta