Nope, this change is fine.