main.bib: some syntax fixes