fix WebIDL to use the quotes that are accepted