Tiny cosmetic changes.

Just a couple of small things I ran across.  Barely worth doing.