remove HTMLOptions type