another proofreading of lua doc