Updated a few files for formatting and documentation