Add copyright to spec.go