minor fixes to redisdb.py