small change to make sure <tt> is rendered properly