make "go vet" happy