OK to me, so the change is already stored in the commit history.