bugfix: initialize mutex correctly