Use shorter copyright headers