Bugfix get_example_number_for_type