Why have this assert here (and not, say, a little lower down)