I think I'll just leave it the way it is. Semantically, either way is pretty much the same in this case.