the change seems fine to me