Minor fix to Proof 8.6.10.