Fix traversedLazy index strictness