Update counting.ml