Fixed a little typo.
Start work on termination of minimal_word_of_variables.