diff --git a/etc/MiniGUI.cfg b/etc/MiniGUI.cfg
index c2d8d3ae..eec7d89a 100644
--- a/etc/MiniGUI.cfg
+++ b/etc/MiniGUI.cfg
@@ -73,6 +73,8 @@ device=/dev/dri/card0
 dpi=96
 
 # Whether double buffering is enabled.
+# Use `true` or `yes` for enabled, anything else for disabled.
+# Note that under compositing schema, double buffering is always enabled.
 # Since 5.0.0.
 double_buffering=true