fix bugs en las bibliotecas de contrato