Fix bug found by vet tool