diff -r a1c2cede77c7 docs/src/user.tex
--- a/docs/src/user.tex	Mon Jul 10 15:01:49 2006 +0100
+++ b/docs/src/user.tex	Tue Jul 11 10:38:43 2006 +0900
@@ -2016,7 +2016,7 @@ editing \path{grub.conf}.
 \item [ tbuf\_size=xxx ] Set the size of the per-cpu trace buffers, in
   pages (default 0).  
 \item [ sched=xxx ] Select the CPU scheduler Xen should use.  The
-  current possibilities are `sedf' (default), `credit', and `bvt'.
+  current possibilities are `credit' (default), `sedf', and `bvt'.
 \item [ apic\_verbosity=debug,verbose ] Print more detailed
   information about local APIC and IOAPIC configuration.
 \item [ lapic ] Force use of local APIC even when left disabled by