Small fix for "intval" problem with display_html_default.