Forgot second argument for mutex initialization