Update vera.lua