Fix PR gdb/872.