BUG: Missed a place to put a mutex