Correct the documentation of new_tarval_from_str().