Small cosmetic fixes.