minor changes to some files