Since we have no logging, I think Keith's change is fine.