Superficial changes for usability/clarity.  (I did not even realize that these nice examples were here.)