diff --git a/ur_rtde_driver/doc/real_time.md b/ur_rtde_driver/doc/real_time.md
index b1a8f9d..4d20802 100644
--- a/ur_rtde_driver/doc/real_time.md
+++ b/ur_rtde_driver/doc/real_time.md
@@ -245,7 +245,7 @@ $ sudo update-grub
 After having performed the above mentioned steps, reboot the PC. It should boot into the correct
 kernel automatically.
 
-# Check for preemption capabilities
+## Check for preemption capabilities
 Make sure that the kernel does indeed support real-time scheduling:
 
 ```bash