Minor presentation tweak