Small fix
Doc: index of new symbols in 3.12