Minor presentation tweaks