updated the coding-contracts