diff --git a/src/bin/expect_tests/typer_error_tests.ml b/src/bin/expect_tests/typer_error_tests.ml
index 32eb559d7..a9b5ce6f2 100644
--- a/src/bin/expect_tests/typer_error_tests.ml
+++ b/src/bin/expect_tests/typer_error_tests.ml
@@ -1,11 +1,24 @@
 open Cli_expect
 
 let%expect_test _ =
-  run_ligo_bad [ "compile-contract" ; "../../test/contracts/negative/error_function_annotation.mligo"; "main"];
+  run_ligo_bad [ "compile-contract" ; "../../test/contracts/negative/error_function_annotation_1.mligo"; "main"];
   [%expect {|
     ligo: in file "", line 0, characters 0-0. different type constructors: Expected these two constant type constructors to be the same, but they're different {"a":"unit","b":"int"}
 
 
+     If you're not sure how to fix this error, you can
+     do one of the following:
+
+    * Visit our documentation: https://ligolang.org/docs/intro/what-and-why/
+    * Ask a question on our Discord: https://discord.gg/9rhYaEt
+    * Open a gitlab issue: https://gitlab.com/ligolang/ligo/issues/new
+    * Check the changelog by running 'ligo changelog' |}];
+
+  run_ligo_bad [ "compile-contract" ; "../../test/contracts/negative/error_function_annotation_2.mligo"; "f"];
+  [%expect {|
+    ligo: in file "error_function_annotation_2.mligo", line 1, characters 14-43. different kinds:  {"a":"int","b":"( int * int ) -> int"}
+
+
      If you're not sure how to fix this error, you can
      do one of the following:
 
diff --git a/src/test/contracts/negative/error_function_annotation.mligo b/src/test/contracts/negative/error_function_annotation_1.mligo
similarity index 100%
rename from src/test/contracts/negative/error_function_annotation.mligo
rename to src/test/contracts/negative/error_function_annotation_1.mligo
diff --git a/test.mligo b/src/test/contracts/negative/error_function_annotation_2.mligo
similarity index 98%
rename from test.mligo
rename to src/test/contracts/negative/error_function_annotation_2.mligo
index 5ad65e3f3..a65a8d47e 100644
--- a/test.mligo
+++ b/src/test/contracts/negative/error_function_annotation_2.mligo
@@ -1,3 +1,2 @@
 let f : int = fun (x, y : int*int) -> x + y
 let g (x, y : int * int) : int = f (x, y)
-