X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;h=e1191bf049127a23c7c4143e01e39c9571c1411a;hb=74683d1ff1711123724d7a680ce3629ad212b52e;hp=5e5335a1d66bda761f571278446b96907e661d5a;hpb=76e6f5ac6e806dc464a779dd4acf2377d2242bfc;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index 5e5335a..e1191bf 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -665,7 +665,7 @@ Make the timer tick more slowly by decreasing @code{TIMER_FREQ} in
 @file{timer.h} to its minimum value of 19.
 
 @item
-Increase the serial output speed to the maximum of 115200 bps by
+Increase the serial output speed to the maximum of 115,200 bps by
 modifying the call to @func{set_serial} in @func{serial_init_poll} in
 @file{devices/serial.c}.
 @end itemize