diff --git a/src/pages/en/write-smart-contracts/overview.md b/src/pages/en/write-smart-contracts/overview.md
index 7b7be6fa..ed13d236 100644
--- a/src/pages/en/write-smart-contracts/overview.md
+++ b/src/pages/en/write-smart-contracts/overview.md
@@ -8,8 +8,7 @@ images:
 
 ## Introduction
 
-Clarity is a programming language for writing smart contracts on the Stacks 2.0 blockchain. It supports programmatic
-control over digital assets.
+Clarity is a **decidable** smart contract language that optimizes for predictability and security, designed for the Stacks blockchain. Smart contracts allow developers to encode essential business logic on a blockchain.
 
 ## Smart contracts
 
diff --git a/src/pages/en/write-smart-contracts/software.md b/src/pages/en/write-smart-contracts/software.md
index 80e6cb61..6cfdb7c8 100644
--- a/src/pages/en/write-smart-contracts/software.md
+++ b/src/pages/en/write-smart-contracts/software.md
@@ -48,7 +48,7 @@ Create a new project and enter its directory:
 clarinet new my-project && cd my-project
 ```
 
-Create a new contract inside my project:
+Create a new contract inside `my-project`:
 
 ```bash
 clarinet contract new mycoolcontract