minor cleanups to redis code