code contract changes