Fix 5d37fac7c8765253a2ae406329ebf360c8429387 yet again.