Minor changes

This commit includes some minor changes, including a fix of the .bib file to let the main doc compile.