add missing sexptohtml function