Update Kest.lhs

Fix typo.