Minor cosmetic fixes.