Redis improvements

Fixes #8, #9