--- a/handouts/ho01.tex	Mon Aug 17 17:42:37 2020 +0100
+++ b/handouts/ho01.tex	Sun Aug 23 23:44:44 2020 +0100
@@ -52,7 +52,7 @@
 compiler is an old craft going back to 1952 with the first compiler
 written by Grace Hopper.\footnote{Who many years ago was invited on a
 talk show hosted by David Letterman.
-\here{https://youtu.be/3N_ywhx6_K0?t=31}.} Why studying compilers
+\here{https://youtu.be/3N_ywhx6_K0?t=31}} Why studying compilers
 nowadays?  An interesting answer is given by John Regher in his compiler
 blog:\here{http://blog.regehr.org/archives/1419}