[pipe01]

That fix really confused me as well. Not only does the code behave differently from the problematic code, but why do they even need the mutex at that point?