;; try to export as html

I've also attached is a patch to fix this.