fix LoadWSJMalt to use strings in tok instead of attr