The test case fixed was broken already before, so I couldn't check whether the fix is actually correct.