Formatting and tests