Fixed typo in Okasaki