Minor edits to some files