 symbol manipul thread list corrigendum 