this seems to be a unrelated cosmetic change, isn't it?