fixed json encoding issue with redis