Update thorerl.erl