Bug found: indexing in Gueant