correction to shadow memory race detection