diff --git a/src/main/scala/viper/silver/parser/MacroExpander.scala b/src/main/scala/viper/silver/parser/MacroExpander.scala
index 44f9d3382..082b1ba30 100644
--- a/src/main/scala/viper/silver/parser/MacroExpander.scala
+++ b/src/main/scala/viper/silver/parser/MacroExpander.scala
@@ -72,7 +72,7 @@ object MacroExpander {
 
       if (nonUsedParameter.nonEmpty) {
         Some(ParseWarning(s"in macro `${define.idndef.name}`, the following parameters were defined but not used: " +
-          s"${nonUsedParameter.mkString(", ")} ", define.errorPosition))
+          s"${nonUsedParameter.mkString(", ")}", define.errorPosition))
       }
       else
         None
diff --git a/src/test/resources/all/issues/silver/0114-1.vpr b/src/test/resources/all/issues/silver/0114-1.vpr
index 7b4ccb297..c9923f615 100644
--- a/src/test/resources/all/issues/silver/0114-1.vpr
+++ b/src/test/resources/all/issues/silver/0114-1.vpr
@@ -1,7 +1,7 @@
 // Any copyright is dedicated to the Public Domain.
 // http://creativecommons.org/publicdomain/zero/1.0/
 
-define foo(x) true
+define foo(x) x
 
 method bar()
 {
diff --git a/src/test/resources/all/issues/silver/0114.vpr b/src/test/resources/all/issues/silver/0114.vpr
index dce52cdf1..7a62d64e6 100644
--- a/src/test/resources/all/issues/silver/0114.vpr
+++ b/src/test/resources/all/issues/silver/0114.vpr
@@ -1,6 +1,7 @@
 // Any copyright is dedicated to the Public Domain.
 // http://creativecommons.org/publicdomain/zero/1.0/
 
+//:: ExpectedOutput(parser.warning)
 define B(x, res) true
 
 method test1(x: Ref)