Cosmetic changes in example.