Fixup: Shortened copyright line