Wording tweak.

about/index.html

@@ -61,7 +61,7 @@ <h2>Lurch plus other goodies!</h2>
 </div>
 <p>Lurch Plus is the offical home of the Lurch proof verification project and its applications. In addition to housing the latest official version of the Lurch web application, it also contains supporting topics, content, course materials, and assignments for an undergraduate Introduction to Proof course.</p>
 <h2 id="history">Project History</h2>
-<p>In 1995, I taught an undergraduate course on Chaos and Fractals. At the time, our department did not offer a bridge course to introduce students to mathematical proofs. To address this, I began the course with an introduction to mathematical proof, using a modified version of Gentzen's natural deduction. During the course, one of the students, Nathan Carter, a mathematics and computer science major, asked about the possibility of developing a computer program to verify such proofs. This led to collaborative discussions and the initial design and implementation of a few simple tools before Nathan graduated and pursued graduate studies in mathematics.</p>
+<p>In 1995, I was teaching an undergraduate course on Chaos and Fractals. At the time, our department did not offer a bridge course to introduce students to mathematical proofs. To address this, I began the course with an introduction to mathematical proof, using a modified version of Gentzen's natural deduction. During the course, one of the students, Nathan Carter, a mathematics and computer science major, asked about the possibility of developing a computer program to verify such proofs. This led to collaborative discussions and the initial design and implementation of a few simple tools before Nathan graduated and pursued graduate studies in mathematics.</p>
 <p>In 2008, we secured funding through an NSF grant (NSF DUE CCLI grant #0736644) to develop the first version of the proof verification software. I subsequently incorporated this desktop application, known as Lurch, into my Introduction to Proof classes and the Prove It! mathematics summer program. Building on the insights gained from this initial version, we undertook a complete redesign, transforming Lurch into the web application it is today.</p>
 <p>In Spring 2024, I used the new version of Lurch in my Introduction to Proof course for the first time, and it proved to be highly successful.</p>
 <h2 id="why_lurch">Why is it called 'Lurch'?</h2>