fix (value symbol) printing weird characters