diff --git a/analysis/facts/behavior/arrivals.v b/analysis/facts/behavior/arrivals.v
index a44fb2e22f80bcd540ae94f3f2cc0b8f3f23ee2d..36535d58c444a7d833f7ecf5d7d71b31077dd047 100644
--- a/analysis/facts/behavior/arrivals.v
+++ b/analysis/facts/behavior/arrivals.v
@@ -109,7 +109,7 @@ Section Arrived.
       jobs_come_from_arrival_sequence sched arr_seq.
   Proof. by move=> ? []. Qed.
 
-  (** ... third, on the readiness of jobs in valid scheduleds. *)
+  (** ... third, on the readiness of jobs in valid schedules. *)
   Lemma valid_schedule_jobs_must_be_ready_to_execute :
     forall arr_seq,
       valid_schedule sched arr_seq -> jobs_must_be_ready_to_execute sched.
diff --git a/scripts/wordlist.pws b/scripts/wordlist.pws
index fce42c60a53cb939756093ada1a21389faaa673c..c0e907a58c19b91317f2b4c62395eba2883189a9 100644
--- a/scripts/wordlist.pws
+++ b/scripts/wordlist.pws
@@ -73,4 +73,6 @@ Gonthier
 setoid
 Leontyev
 et
-al
\ No newline at end of file
+al
+discoverable
+formedness