tippers.lua: fix for debug crash