changes in luaDoc for #8.