minor updates to visit_counter TODO