Add copyright notice, tidy.