Cosmetic changes in code example