Ticket #17: Fix broken EDM search result.