Clarified notation section.