fix a mutex error