Small fixes on fun.lua
drop export was missing