Fix 74ba78bc4674e..., which was wrong