tweaks
more explicit about mutex