Function 'html-quote' not found