<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    L.~42: {\def\arraystrech{2}.  Delete the first open brace, or close
    it later.<br>
  </body>
</html>