subgraph_isomorphism crashes when vertex indices don't start at zero

import graph_tool.all as gt

Bug = True

G = gt.complete_graph(10)
print "G: {}".format(", ".join(map(str,G.vertices())))

vfilt = G.new_vertex_property("bool")
for v in G.vertices(): vfilt[v] = True
if Bug: 
  for i in xrange(0,2):  vfilt[G.vertex(i,use_index=False)] = False
else: 
  for i in xrange(8,10): vfilt[G.vertex(i,use_index=False)] = False
G1 = gt.GraphView(G,vfilt=vfilt)
print "G1: {}".format(", ".join(map(str,G1.vertices())))

vmaps, emaps = gt.subgraph_isomorphism(G1,G,max_n=1)