A few clarifications for the Lua documentation