added missing / corrected comment spelling of NOMINUM_PUBLIC added REQUIRE(ISLOCKED(????)); to zone.c