fix internal function get_hit_counter() if $ is undefined