Try to improve a comment.

Author: vakaras

src/shims/sync.rs

@@ -350,14 +350,12 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             // `PTHREAD_MUTEX_NORMAL` type has in some cases different behaviour
             // from the default mutex for which the type was not explicitly
             // specified. For a more detailed discussion, please see
-            // https://github.com/rust-lang/miri/issues/1419#.
+            // https://github.com/rust-lang/miri/issues/1419.
             //
-            // To distinguish these two cases, we do the same trick as glibc: we
-            // assume that `pthread_mutexattr_settype` is ever called only with
-            // `PTHREAD_MUTEX_NORMAL` (`PTHREAD_MUTEX_DEFAULT` is the default
-            // value, so there is no reason to set it explicitly) and to
-            // distinguish `PTHREAD_MUTEX_NORMAL` from `PTHREAD_MUTEX_DEFAULT`
-            // once the mutex is constructed, we use this flag.
+            // To distinguish these two cases in already constructed mutexes, we
+            // use the same trick as glibc: for the case when
+            // `pthread_mutexattr_settype` is caled explicitly, we set the
+            // `PTHREAD_MUTEX_NORMAL_FLAG` flag.
             let normal_kind = kind.to_i32()? | PTHREAD_MUTEX_NORMAL_FLAG;
             // Check that after setting the flag, the kind is distinguishable
             // from all other kinds.