Minor presentation fixes