bug in reexecuting store