lua: fix a typo in usermanual