fix example4.go