Fix small mistake in Lua API docs