(Damn, the other commit prepared for today is not getting done, why does IDA have to be so terrible...!) Anyway, here's a small consistency edit instead.