Cleaning up some files that didn't get deleted in the last commit.