Don't make spurious changes not related to the PR.