Mutex operator precedence error (Issue #406)