Revise a few BibTeX entries