fix redis configuration variables

This addresses issue #12.
We never had a problem with it because we *always* used the local redis :-)