Fix the HTMLInputElement.value IDL