small modification in lua framework