résol bug bibtex