Add copyright and reformatting