Changes in luaDoc for #8.