Mangled sentence about type-based search in "🗺 A tour of Unison"→"🎉 Running the UCM"

[das-g]

In 🗺 A tour of Unison, section 🎉 Running the UCM, right under the code block beginning with .> find : [a] -> [a], the following sentence currently occurs:

Here, we used the did a type-based, with find followed by a colon, :, to search for functions of type [a] -> [a].

It should instead probably be either

Here, we used find followed by a colon, :, to search for functions of type [a] -> [a].

or

Here, we did a type-based search, to search for functions of type [a] -> [a].