Avoided a doubly defined label in the manual.
Authored by: bugman 2015-09-29
Parent: [r27897]
Child: [r27899]