tutorial: fixed typo in the counter example