Another CasualConc bug fix