Coverage tool: fix bug in retrieving value of "sort-by" option from URL.
Merge pull request #89 from tobie/coverage-fix-sort-by-bug

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