bugfixed: mutex