Fixes HTML code showing up on mousetrap box desc.

Fixes #2888