Update runtime files.
diff --git a/runtime/doc/syntax.txt b/runtime/doc/syntax.txt
index 2096a34..8effaf5 100644
--- a/runtime/doc/syntax.txt
+++ b/runtime/doc/syntax.txt
@@ -1937,7 +1937,7 @@
Debug, DebugSpecial, DebugString, DebugBoolean, DebugType
which are used for the statement itself, special characters used in debug
strings, strings, boolean constants and types (this, super) respectively. I
-have opted to chose another background for those statements.
+have opted to choose another background for those statements.
Javadoc is a program that takes special comments out of Java program files and
creates HTML pages. The standard configuration will highlight this HTML code