diff --git a/src/StmtToHTML.cpp b/src/StmtToHTML.cpp
index eccee5913d1f..8e83495584bb 100644
--- a/src/StmtToHTML.cpp
+++ b/src/StmtToHTML.cpp
@@ -1425,9 +1425,9 @@ class HTMLCodePrinter : public IRVisitor {
std::string type_str = type_to_string(op->type);
print_opening_tag("span", "Reinterpret");
print_opening_tag("span", "matched Symbol", type_str);
- print_text("reinterpret<");
+ print_text("reinterpret<");
print_type(op->type);
- print_text(">");
+ print_text(">");
print_closing_tag("span");
print_html_element("span", "matched", "(", type_str);
print(op->value);