diff --git a/README.md b/README.md
index 1f8c965c25..b3dec663f1 100644
--- a/README.md
+++ b/README.md
@@ -215,6 +215,5 @@ To run style checking run `make style`.
 ## Comparing merge algorithms
 
 To investigate differences between two mergers:
- * run `src/python/select_from_results.py` to produce a CSV file containing only the differences you are interested in.
- * run `` to create a .csv database containing only the differences.
+ * run `src/python/select_from_results.py` to produce a CSV file containing only the differences you are interested in.  See its [documentation (at top of file)](src/python/select_from_results.py) for how to run it.
  * run `src/python/replay_merge.py --merges_csv CSV_FILE --idx INDEX` (maybe add `-test`) for the index of the merge you are interested in.
diff --git a/src/python/select_from_results.py b/src/python/select_from_results.py
index 43045a5688..f8cf50225b 100755
--- a/src/python/select_from_results.py
+++ b/src/python/select_from_results.py
@@ -65,6 +65,7 @@ def main():
         ["idx", "repo-idx", "merge-idx", "branch_name", "merge", "left", "right"]
         + columns_in_query(args.query)
         + args.columns
+        + ["repository"]
     )
     df = df[columns_to_select]