Minor cosmetic tweaks.