A tweak on the help print out for bug #7408.