fix display of optional<addr>