Removed some contract statements rendered unnecessary by the new CC release.