Hopefully initializing mutex correctly this time