CasualConc (20200708) bug fixes