You're absolutely right. I've repushed it without the mutex.