Fix bug#10810.