(string-value): Bug fix.