Convert Symbol to string in JSON representation