I'm a bit of a stickler for separate commits, this is a change that isn't described in the PR/commit message.  Add it there?