Indexing vectors with square brackets can panic

[james gilles]

e.g. here, probably other places

we should use vector.get(index)? instead