fix funny characters (that will teach me to cut and paste from a PDF)
fix funny characters (that will teach me to cut and paste from a PDF)

larskotthoff/recomputation-ss-paper,larskotthoff/recomputation-ss-paper,larskotthoff/recomputation-ss-paper