bibtools/crossref.py: fix a NameError