("greek-mizuochi"): Doc fix. From David Kastrup