diff --git a/guides/installation/devenv.md b/guides/installation/devenv.md
index 72661fea1..77a125290 100644
--- a/guides/installation/devenv.md
+++ b/guides/installation/devenv.md
@@ -5,7 +5,9 @@ nav:
 
 ---
 
-# What is devenv?
+# Devenv
+
+## What is devenv?
 
 Imagine [devenv](https://devenv.sh) to function as a dependency manager for the services and packages that you need to run your application for local development or even in a CI/CD context.