Fix a bug

Bugs:
- Fix a bug related to the conversion between symbol and string.