redis: a few improvements