change in comment

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

Jars/DieHard.tla

 ------------------------------ 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    *)