Oh nm -- I see that's effectively covered by the next runs() block below.