formatting and license header