diff --git a/ortools/sat/docs/troubleshooting.md b/ortools/sat/docs/troubleshooting.md
index c1f7d43150..ed921ef8e6 100644
--- a/ortools/sat/docs/troubleshooting.md
+++ b/ortools/sat/docs/troubleshooting.md
@@ -1,3 +1,5 @@
+[home](README.md) | [boolean logic](boolean_logic.md) | [integer arithmetic](integer_arithmetic.md) | [channeling constraints](channeling.md) | [scheduling](scheduling.md) | [Using the CP-SAT solver](solver.md) | [Model manipulation](model.md) | [Troubleshooting](troubleshooting.md) | [Python API](https://google.github.io/or-tools/python/ortools/sat/python/cp_model.html)
+----------------- | --------------------------------- | ------------------------------------------- | --------------------------------------- | --------------------------- | ------------------------------------ | ------------------------------ | ------------------------------------- | ---------------------------------------------------------------------------------------
 # Troubleshooting
 
 ## Enable logging