Ya, just realized that... in that case, I think this change is fine as is.