Update to working lhs file