(print_help_and_exit): Fix bug report instructions.