fix broken link to index_of in spec.html