"Fix" for :num: in html... ignore it.