tools.crossref: more "make UI browser happy".
tools.crossref: fix for bootstrap errors.