diff --git a/.github/workflows/formal-spec.yaml b/.github/workflows/formal-spec.yaml
index deec227..7a14e2a 100644
--- a/.github/workflows/formal-spec.yaml
+++ b/.github/workflows/formal-spec.yaml
@@ -68,7 +68,7 @@ jobs:
           /tmp/nixcache"
 
   formal-spec-html:
-    name: "Generate HTML"
+    name: "Generate Web Documentation"
     needs: formal-spec-typecheck
     runs-on: ubuntu-22.04
     outputs:
diff --git a/formal-spec/Leios/Base.agda b/formal-spec/Leios/Base.agda
index 74ad230..a336c44 100644
--- a/formal-spec/Leios/Base.agda
+++ b/formal-spec/Leios/Base.agda
@@ -1,5 +1,8 @@
 {-# OPTIONS --safe #-}
 
+-- | The Base module defines core components for the base layer of Leios protocol.
+-- | It includes stake distribution, ranking blocks, and base layer abstractions.
+
 open import Leios.Prelude
 open import Leios.Abstract
 open import Leios.VRF