diff --git a/code/compiler/13/parsed_type.cpp b/code/compiler/13/parsed_type.cpp
index cd73792..d119509 100644
--- a/code/compiler/13/parsed_type.cpp
+++ b/code/compiler/13/parsed_type.cpp
@@ -17,8 +17,8 @@ type_ptr parsed_type_app::to_type(
         std::ostringstream error_stream;
         error_stream << "invalid application of type ";
         error_stream << name;
-        error_stream << "(" << base_type->arity << " arguments expected, ";
-        error_stream << "but " << arguments.size() << " were provided)";
+        error_stream << " (" << base_type->arity << " argument(s) expected, ";
+        error_stream << "but " << arguments.size() << " provided)";
         throw type_error(error_stream.str());
     }