-## ------------------------------------------------------------------------- ##
-## User destructor after an error during a split parse ##
-## Thanks to Joel E. Denny for this test; see ##
-## <http://lists.gnu.org/archive/html/bison-patches/2005-08/msg00029.html>. ##
-## ------------------------------------------------------------------------- ##
+## -------------------------------------------------------------------------- ##
+## User destructor after an error during a split parse. See ##
+## <http://lists.gnu.org/archive/html/bison-patches/2005-08/msg00029.html>. ##
+## -------------------------------------------------------------------------- ##