A CasualConc bug fix