auto_increment.lua: fix bug