Tiny fix for mutex init