changed "zone" from double precision to integer (the code worked fine anyway because the value was then used in a double-precision expression)