Minor aesthetical tweaks.