just a cosmetic change (removed comment), mainly to force a new set of CI tests.