small edits and fixes