Update docs.

[pintos-anon] / doc / threads.texi

diff --git a/doc/threads.texi b/doc/threads.texi
index 5e5335a1d66bda761f571278446b96907e661d5a..e1191bf049127a23c7c4143e01e39c9571c1411a 100644 (file)
--- 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