Update holotype.lua