Not bad, but it makes the diff unnecessarily big. It would be nice if it could be avoided, but I don't think we need to manually fix the PR for this.