html.entities: fix minor doc error.