Minor edits in the non-intro sections
add missing citations