Bug fix to main mutex class