As I said before, the number currently displayed is way too big than actual number of definitions. If the current format is correct, then, the number displayed is wrong.