diff --git a/THANKS b/THANKS
index d24f0d93..a5daf579 100644
--- a/THANKS
+++ b/THANKS
@@ -69,6 +69,7 @@ Goran Uddeborg            goeran@uddeborg.se
 Guido Trentalancia        trentalg@aston.ac.uk
 H. Merijn Brand           h.m.brand@hccnet.nl
 Hans Åberg                haberg-1@telia.com
+Horst Von Brand           vonbrand@inf.utfsm.cl
 Jan Nieuwenhuizen         janneke@gnu.org
 Jannick                   thirdedition@gmx.net
 Jerry Quinn               jlquinn@optonline.net
diff --git a/examples/local.mk b/examples/local.mk
index 738293d6..6db28dce 100644
--- a/examples/local.mk
+++ b/examples/local.mk
@@ -56,7 +56,7 @@ EXTRA_DIST += %D%/extracted.stamp
 # that regular users have readable examples even before installing
 # Bison.
 dist-hook: examples-unline
-.PHOMY: examples-unline
+.PHONY: examples-unline
 examples-unline:
 	for e in $(extracted);			\
 	do					\