Some bug in the product index: cyclic references