Minor adjustments, a few new latex snippets