changed type of print_no_matching_key