I don't know if theres a precedent, but I agree your change is better.