Fix dump_params().