small cosmetic change in the code