fixed step declaration in counter model