Update short_list.h