small edits from Jeff