Minor changes to some files.
These were changes I did on Tuesday that I forgot to push.