Shorter copyright notice