Fix <f5> being treated as HTML