Yeah, I wrote the ladder before I realized that you could actually get to this point with procedureInfo == null and just hacked in the extra case.