
<!doctype html>

<html>

 <head> 

  <meta charset="UTF-8"> 

 </head>

 <body>

  <div class="default-style">

   Hi,

  </div> 

  <div class="default-style">

    

  </div> 

  <div class="default-style">

   In the WEB code of module 697 of "TeX: The Program", on line 13736 of tex.web, the line should likely end with '@|', not with '@+'. The '@+' causes the preceding 'or' (V) to have incorrect kerning and causes the following then-clause to be unindented. 

   <br>

   <br>Best, 

   <br>Tyge

  </div>

 </body>

</html>