Cosmetic change: fix copyright.