Update copyright in a few forgotten places