cosmetic changes in the code