Adding a few files for the formatting branch