a few edits and corrections