updated per OSDI close-out meeting