Fix up spacing/tabs in mutex.h