fixed formatting of all the files: This closes #12