Hmm, yeah, I suppose that's true.  This probably isn't worth the effort since it so rarely causes problems.  I've made the change you originally suggested.