Display def_index, fixes #135