module mutex destruction, minor changes