correct the default value and type of the html option for the page loading widget