Fixed typo
Code Contracts
Minor changes