Add stub to trace2html