Fix small bug in redis backend
Fix #2