Add missing copyright header, smaller cleanups