Minor fixes to redis script