Format fix in 1994/dodsond2/README.md + thanks

.. that is, the thanks file also had a slight formatting issue.

1994/dodsond2/README.md

@@ -5,8 +5,9 @@ make all
 ```
 
 
-There is an [alternate version](#alternate-code) that allows you to cheat,
-giving you a configurable amount of arrows at the start of the game.
+There is an alternate version that allows you to heat, giving you configurable
+amount of arrows at the start of the game. See [Alternate
+code](#alternate-code).
 
 
 ### Bugs and (Mis)features:
@@ -31,6 +32,9 @@ For more detailed information see [1994 dodsond2 in bugs.md](/bugs.md#1994-dodso
 This version allows you to choose how many arrows to start with, instead of the
 default 0. If one tried specifying a value < 0 it will set it to 0.
 
+Fun fact: this version helped uncover and fix a bug that prevented the entry
+from working on some cases.
+
 ### Alternate build:
 
 
@@ -60,6 +64,7 @@ contest rules.  Next year, entries that use compression utilities
 to get around the size limit will find themselves squeezed out of
 the contest!
 
+
 ### A historical note:
 
 The original source code was submitted as a GZIP compressed file

thanks-for-fixes.md

@@ -1667,14 +1667,14 @@ this code. Other code is also described there.
 
 ## [1994/dodsond2](1994/dodsond2/dodsond2.c) ([README.md](1994/dodsond2/README.md))
 
-[Cody](#cody) fixed an infinite loop that could happen when you shoot an arrow and end up
-having no arrows, thus making one force quit the game. The problem was in a
-condition in the outer loop it would repeatedly get input (if `getchar()`
-returned `'\n'`),  only if one has more than one arrow, returning after that.
-But if there were 0 arrows left it did not return and so the loop started over,
-doing nothing. This fix also seems to have fixed a problem where if you shoot
-your last arrow it would not move you to the room you shoot into (whereas if you
-had more arrows it would).
+[Cody](#cody) fixed an infinite loop that could happen when you shoot an arrow
+and end up having no arrows, thus making one force quit the game. The problem
+was in a condition in the outer loop it would repeatedly get input (if
+`getchar()` returned `'\n'`),  only if one has more than one arrow, returning
+after that.  But if there were 0 arrows left it did not return and so the loop
+started over, doing nothing. This fix also seems to have fixed a problem where
+if you shoot your last arrow it would not move you to the room you shoot into
+(whereas if you had more arrows it would).
 
 Cody added an alt version that allows one to cheat by specifying how many arrows
 to start with (this was for fun but it turned out a good way to debug the above