reinstate mutex deletion