Fixed bug: slight miscalculation in query coverage (by one unit per hsp), would have affected very short entries