small edits and corrections