fix mutex initialization bug