Clarify the notations in 10.8.5.(viii)
Merge pull request #687 from jledent/renaming

Clarify the notations in 10.8.5.(viii)