minor addition to redisdb.py