Extra copyright notices

Previous commit missed some unsaved files.