varintrle: fixed bug found by vet