Remove no longer used mutex member