Making mutex private