use integer for redis database number [fixes #43]