diff --git a/share/libc/time.h b/share/libc/time.h
index 2906228203f8ab73f85cc8fa4eaab65be8f95a39..52c4455579fc3c1269c131021b2582575c5fd52e 100644
--- a/share/libc/time.h
+++ b/share/libc/time.h
@@ -105,7 +105,7 @@ extern time_t mktime(struct tm *timeptr);
 extern time_t time(time_t *timer);
 
 char __fc_ctime[26];
-char * const  __fc_p_ctime = &__fc_ctime;
+char * const  __fc_p_ctime = __fc_ctime;
 
 extern char *asctime(const struct tm *timeptr);
 
diff --git a/tests/libc/oracle/fc_libc.1.res.oracle b/tests/libc/oracle/fc_libc.1.res.oracle
index 22d7faf5fa0a2634869377cc070cda4f06758896..b195276fdca49a5211a17e206797d2883d4ea43b 100644
--- a/tests/libc/oracle/fc_libc.1.res.oracle
+++ b/tests/libc/oracle/fc_libc.1.res.oracle
@@ -5166,7 +5166,7 @@ extern time_t mktime(struct tm *timeptr);
 extern time_t time(time_t *timer);
 
 char __fc_ctime[26];
-char * const __fc_p_ctime = (char *)(& __fc_ctime);
+char * const __fc_p_ctime = __fc_ctime;
 /*@ requires valid_timer: \valid_read(timer);
     requires initialization: init_timer: \initialized(timer);
     ensures result_points_to_ctime: \result ≡ __fc_p_ctime;