Update Code Contracts section.