tools.crossref: more "make UI browser happy".