doing some tiny, trivial beautification changes