Cosmetic change

Don't merge. I'm testing that CI can still test 4.17 branch Pull requests. I think it's broken.