Coverage tool: fix bug in retrieving value of "sort-by" option from URL.