lua usermanual : fix a typo