diff --git a/Jars/DieHard.tla b/Jars/DieHard.tla
index f64543a43f50eadcc2ba0fe232ef4e2cb1d38840..d0a01c55822311562ca297a94408c835339f8adc 100644
--- a/Jars/DieHard.tla
+++ b/Jars/DieHard.tla
@@ -1,5 +1,5 @@
 ------------------------------ MODULE DieHard ------------------------------- 
-(* File from TLC distribution; minor change for ProB and VisB *)
+(* File from TLC distribution; minor changes for ProB and VisB *)
 (***************************************************************************)
 (* In the movie Die Hard 3, the heros must obtain exactly 4 gallons of     *)
 (* water using a 5 gallon jug, a 3 gallon jug, and a water faucet.  Our    *)