Correct implementation of ~eval-string