Formatting and documentation update