WsEndpoint: cosmetic
ContractGenerator: better error message