Changes in luadoc for #8