Changes in luadoc for #8.