Fixed a piece of text that wasn't properly translated to HTML.

It seems not possible to use `undefined`, it outputs only the backticks, instead of <code>undefined</code>. What's more strange is that even using directly the HTML in the markdown file doesn't work.