doc: use the exact text label of a GUI item

Authored by ltoscano on Apr 20 2018, 9:35 PM.