Update exhaustive.go