re-indenting some files and updated other files to their latest versions