A few bug fixes and a few minor new features for CasualConc 2.0