verizon.lua: changed some errors in the code