minor fixes; initial compilation of pdf with bib