Fix dialyzer errors in counter specs

(Turns out zero isn't a pos_integer() after all)