Debugged a potential race condition found by Alberto.

In case the compiler made some code instrumentation, at least