CodeContractsReferenceAssembly=Build, fix typo in method name