Selected documents are not reset by a new search

In the search tab, if after a search you select a document, run a different search and select another document, the first document is actually still selected.
The selected document list should be reset when a new search is made or the previous search is reset, otherwise there is a risk of modifying a document without knowing it as there is no feedback of what the selected document are.