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.