Update toklist.h