@xiangli-cmu Can you change this to `DefaultLeaveCommand`?