Spurious change. I think these sorts of things should go into a "cleanup" pull / separate commit.