Fix test-with-counter-update