Fixed code contracts in WP8 project.