test case for a weird redis bug