fix typo in ex title#13

clijo wants to merge 1 commit intomichaelgutmann:mastermichaelgutmann/ml-pen-and-paper-exercises:masterfrom

clijo:optimisation/typo-in-titleclijo/ml-pen-and-paper-exercises:optimisation/typo-in-titleCopy head branch name to clipboard