pr i think your proposed edit is not seriously disputed and it should be fine to put it in