maybe print_warning could be better here