Found bug in Edge.getLength()