Fixed typo in SaturatingCounter main