-* The structure and form of this operating system is inspired by the
- Nachos system from the University of California, Berkeley. A few of
- the source files are more-or-less literal translations of the Nachos
- C++ code into C. These files bear the original UCB license notice.
+* The original structure and form of this operating system is inspired
+ by the Nachos system from the University of California, Berkeley. A
+ few of the source files are more-or-less literal translations of the
+ Nachos C++ code into C. These files bear the original UCB license
+ notice.