A few bug fixes on CasualConc