Minor fix of typo in a commented fprintf.