Kludgy hack to coerce casenums wherever we need them