diff --git a/behavior/job.v b/behavior/job.v
index dde542c88c7d54dd986b1aa58b58887d8bc06e36..9417d01437f895fe4507c67d7747515d4b70d2d8 100644
--- a/behavior/job.v
+++ b/behavior/job.v
@@ -17,7 +17,7 @@ Definition work  := nat.
 (** Definition of a generic type of parameter relating jobs to a discrete cost. *)
 Class JobCost (Job : JobType) := job_cost : Job -> work.
 
-(** Definition of a generic type of parameter for job_arrival. *)
+(** Definition of a generic type of parameter relating jobs to an arrival time. *)
 Class JobArrival (Job : JobType) := job_arrival : Job -> instant.
 
 (** Definition of a generic type of parameter relating jobs to an absolute deadline. *)