Bye
Tweak MkIndex.
Wording