Use shorter copyright/license header