This doesn't belong in this commit. This should be a separate commit. Please do not sneak changes like this into an unrelated PR.