Formatting and license header.