diff --git a/share/libc/stdlib.h b/share/libc/stdlib.h
index 5d8864feeae2dba6e6195a2693e776f046b597a7..5d903a44e9dbe994c36705a2f06681347ee5175c 100644
--- a/share/libc/stdlib.h
+++ b/share/libc/stdlib.h
@@ -686,14 +686,14 @@ extern int posix_memalign(void **memptr, size_t alignment, size_t size);
 
 /*@
   // missing: requires 'last 6 characters of template must be XXXXXX'
-  // missing: assigns \result, template[0..] \from 'filesystem', 'RNG';
-  requires valid_template: valid_string(template);
-  assigns template[0..] \from \nothing;
+  // missing: assigns \result, templat[0..] \from 'filesystem', 'RNG';
+  requires valid_template: valid_string(templat);
+  assigns templat[0..] \from \nothing;
   assigns \result \from \nothing;
   ensures result_error_or_valid_fd: \result == -1 ||
                                     0 <= \result < __FC_FOPEN_MAX;
  */
-extern int mkstemp(char *template);
+extern int mkstemp(char *templat);
 
 __END_DECLS
 
diff --git a/tests/libc/oracle/fc_libc.1.res.oracle b/tests/libc/oracle/fc_libc.1.res.oracle
index 1aff068563351acc6645093e0e04f1ae70b3f644..ade6066676f8cb6ce2f274aa0cef0907bb02c75a 100644
--- a/tests/libc/oracle/fc_libc.1.res.oracle
+++ b/tests/libc/oracle/fc_libc.1.res.oracle
@@ -2146,14 +2146,14 @@ extern size_t wcstombs(char * __restrict s, wchar_t const * __restrict pwcs,
 
 int posix_memalign(void **memptr, size_t alignment, size_t size);
 
-/*@ requires valid_template: valid_string(template);
+/*@ requires valid_template: valid_string(templat);
     ensures
       result_error_or_valid_fd: \result ≡ -1 ∨ (0 ≤ \result < 16);
-    assigns *(template + (0 ..)), \result;
-    assigns *(template + (0 ..)) \from \nothing;
+    assigns *(templat + (0 ..)), \result;
+    assigns *(templat + (0 ..)) \from \nothing;
     assigns \result \from \nothing;
  */
-extern int mkstemp(char *template);
+extern int mkstemp(char *templat);
 
 int glob(char const *pattern, int flags,
          int (*errfunc)(char const *epath, int eerrno), glob_t *pglob)