Same for html_smartypants.c