Bug fix: code must be wrapped in `HTML.Special`