Fix default for html-render-pict-as