That makes sense. It seems like a premature optimization to change it, so I'd say leave it as is.