A few bug fixes to CasualConc beta