minor edits to some files