Restored removed function in Lua spec (partial revert of 713d0935).