Fix call to and missing requirement declaration on vertex_index