(note the likely correct hyphenation/dots in version 15.2(7)E7).