Add copyright notice.
Remove some extraneous spaces.