Minor edit (bib, notation)