Fixed: race counter was not updated when needed
Silenced some debug messages