diff --git a/share/libc/pthread.h b/share/libc/pthread.h
index cb9d5dd6c2e1542f8def257e76ed45682b9eefc8..a413079d88f4697f0ed90c7c6b40cd52e65fde2b 100644
--- a/share/libc/pthread.h
+++ b/share/libc/pthread.h
@@ -390,7 +390,7 @@ extern void pthread_testcancel(void);
 // GNU extensions
 /*@ requires valid_name: valid_read_string(name);
     assigns \result \from thread, name[..];
-    //FIXME: it should assigns thread, but our current
+    //FIXME: it should assign thread, but our current
     // definition of the type does not allow this.
     behavior ko:
       assumes name_too_long: strlen(name) > 15;
@@ -407,7 +407,7 @@ int pthread_setname_np(pthread_t thread, const char* name);
       assumes buffer_size_ok: len >= 16;
       // same remark as above: if we fail to open
       // the appropriate /proc/* file, \result might
-      // not be 0 (and the name won't be written
+      // not be 0 (and the name won't be written)
       ensures name_written: initialization:
         \result == 0 ==>
            valid_string(name) &&