(lua) accidentally pushed version with tracing enabled.