Get rid of an unneeded mutex.