reverting symbols to strings