Fix stupid mixup in recent commit.