Tiny copyright fixup