Update copyrights on three files, just patched.