Fixed a rather terrible bug in mutexes, changed syntax slightly