Fix documentation for mutex.h