Cosmetic changes

Minor importance. Ignore if you don't like.