Fix 0bd6cdfd67 which was actually broken.