Fix the mutex example to not suck