Bug fix to mutex