lua : various minor fixes to documentation generation