Minor presentation fixes.