redis type casting fix