fix: typo

blog/2023/03/01/computable-solomoff/.src/main.tex

@@ -63,7 +63,7 @@ To fix this, in step 2, we can require that there be not only one Turing machine
 
 Interestingly, that scheme also suggests that there is a tradeoff between arriving at the correct hypothesis as fast as possible—in which case we would just implement the first scheme at full speed—and producing accurate probabilities—in which case it seems like we would use the modification just outlined.
 
-\sectionHow many
+\section{A downside}
 Note that a downside of the procedures outlined above is that at the point we arrive at the correct hypothesis, we don't know that this is the case.
 
 \section{An distracting epicycle: dealing with Turing machines that take too long or do not halt.}