string.lua: fix a missing close paren in a docstring