diff --git a/src/main/version.c b/src/main/version.c
index 2aa3972..c6e2bb9 100644
--- a/src/main/version.c
+++ b/src/main/version.c
@@ -14,19 +14,20 @@
  */
 void display_version(void)
 {
+	/*@-mustfreefresh@ */
+	/*
+	 * splint note: the gettext calls made by _() cause memory leak
+	 * warnings, but in this case it's unavoidable, and mitigated by the
+	 * fact we only translate each string once.
+	 */
 	/* GNU standard first line format: program and version only */
 	printf("%s %s\n", PROGRAM_NAME, VERSION);
 	/* GNU standard second line format - "Copyright" always in English */
 	printf("Copyright %s %s\n", COPYRIGHT_YEAR, COPYRIGHT_HOLDER);
 	/* GNU standard license line and free software notice */
-	printf("%s\n",
-	       _
-	       ("License: Artistic v2.0 <https://opensource.org/license/artistic-2-0/>"));
-	printf("%s\n",
-	       _
-	       ("This is free software: you are free to change and redistribute it."));
-	printf("%s\n",
-	       _("There is NO WARRANTY, to the extent permitted by law."));
+	printf("%s\n", _("License: Artistic v2.0 <https://opensource.org/license/artistic-2-0/>"));
+	printf("%s\n", _("This is free software: you are free to change and redistribute it."));
+	printf("%s\n", _("There is NO WARRANTY, to the extent permitted by law."));
 	/* Project web site link */
 	printf("\n%s: <%s>\n", _("Project web site"), PROJECT_HOMEPAGE);
 }