PR gdb/18008: Fix typo in documentation