Update Kest.lhs

Fix typos