Redis dataset take2

This PR is to fix the name of Redis Data Set.