cosmetic change, maybe GitHub will finally pick it