Here is one more attempt on the "no room for error" paragraph.
The goal of the changes was to reach out past the safety critical
community, to the "business-critical" community.
-Tuck

----------

                When there is no room for error...
                          Choose Ada.

  Systems delivered using Ada have significantly lower error rates.
  This is because the Ada language supports all the most modern and
  effective software engineering techniques, while Ada compilers, right
  out of the box, provide more compile-time and run-time consistency
  checking than those for other programming languages.  Ada compilers
  catch errors when they are least expensive to fix, before system
  integration time and deployment.  This is why companies in all kinds
  of industries, including Financial Systems, Power Generation, Healthcare,
  Transportation, and Communications, trust Ada for their bet-the-business,
  software-intensive systems.