This should have back-ticks around it because it's code. (It's possibly actually necessarily in this instance, or else the `<Trait>` will get picked up by the markdown parser as HTML and then just swallowed.)