Update Kest.lhs

Update email address