fixed docs for mutex