Fix the copyright includes to have a good default.