Fix a few errors in the Lua doc.