README: note that output is unordered