diff --git a/Makefile.in b/Makefile.in
index d2b102ce6107f067f345859daae66728b1ba1dd9..712202e0507470c7a8b549bf6b6cde6527bd8053 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -33,8 +33,7 @@ prefix = @prefix@
 exec_prefix = @exec_prefix@
 
 byte opt: 
-	$(MAKE) -C src $@
-	for file in $(BINARIES); do find . -name "$$file" -exec cp {} . \; ; done
+	$(MAKE) -C src $@ && for file in $(BINARIES); do find . -name "$$file" -exec cp {} . \; ; done
 
 all: byte opt
 
diff --git a/examples/montague.acg b/examples/montague.acg
index 21eadcfe38794a9a9a8202560beb87b10bf262d0..7e7aa7b243f1123ec1c1570d5a453d8c580cac5b 100644
--- a/examples/montague.acg
+++ b/examples/montague.acg
@@ -70,7 +70,7 @@ signature logic =
 	(* Then few non logical-constants *)
 	love:e -> e -> t;
 	j,m:e;
-	man,woman : e->t;
+	man,woman : e -> t;
 
 	(* And finally, here are the logical constants *)