For completeness, this change completes the last minor detail from #952 and allows dumping an index cursor.