Bugfix in EmbeddedTPLQuery: k-refinement-round should, before adding N to toVisit, check if mindistmaxnorm(p,N) < maxdistminnorm(p,q), instead of ... < mindistmaxnorm(p,q)