fixed unsafe contracts: there is now a ContractSafe module...