Fix a bug in BibReader