Fix oops in html-thread migration script