fix co-module co-implicit-index option