PyModel README.md, tweak wording

Author: jon-jacky

README.md

@@ -10,8 +10,8 @@ outcomes.  Model-based testing is helpful where so many test cases are
 needed that it is not feasible to code them all by hand.
 
 The samples included with PyModel include models and test scripts for
-network sockets, communication protocols, embedded controllers, data
-structures, and a web application.
+network sockets, a communication protocol, embedded controllers, data
+structures, a multithreaded application, and a web application.
 
 PyModel includes an analyzer for validating models, visualizing their
 behavior, and checking their safety properties.
@@ -30,7 +30,7 @@ PyModel provides three main programs:
 
 - **pma**, PyModel analyzer: generates a finite state machine (FSM) 
    and computes properties by exploring a model program, FSM, test suite, 
-   or a product of these.  Optionally checks safety properties.
+   or a product of these.
 
 - **pmg**, PyModel graphics: generates a file of graphic commands from an FSM,
    that can be processed by the Graphviz *dot* command to produce graphics
@@ -41,14 +41,14 @@ PyModel provides three main programs:
 
 There is also a fourth program:
 
-- **pmv**, PyModel viewer: invokes *pma*, *pmg*, and the Graphiz *dot* command
-   (to display the graphics generated by *pmg*).  The *pmv* program
-   provides brevity and convenience, so analysis and display can be
-   accomplished by a single command.
+- **pmv**, PyModel viewer: invokes *pma*, *pmg*, and the Graphiz *dot*
+   command (to display the graphics generated by *pmg*).  The *pmv*
+   program provides brevity and convenience, so analysis and display
+   can be accomplished by a single command.
 
 For more information, read the [notes](notes), peruse the
 [talks](talks), browse the [code](pymodel), or try the
-[samples](samples).
+[samples](samples).   There are README files in most of the directories.
 
 PyModel is also available at
 [PyPI](http://pypi.python.org/pypi/PyModel).
@@ -58,7 +58,6 @@ PyModel requires Python 2.6 or higher (because it uses *itertools.product*)
 PyModel is influenced by [NModel](http://www.codeplex.com/NModel), but
 is not a translation or re-implementation.
 
-<p>
 PyModel is covered by the 
 [BSD License](http://www.opensource.org/licenses/BSD-3-Clause)