fix notation problem
fix notation
typos
minor additions to checklist