correcciones para que compile con lhs