#342: load_dataset.php, minor indentation change