ITECO: make zone check more tight