Fix for r113312: explain the bug without the use of commented-out code