Fix HTML typo

The comments said `</>` instead of `</tt>`.