correct mutex