Another tiny tweak to explain zeroing of redis