Small HTML output fix.