Bug fixes for CasualConc (2016/04/25)