diff --git a/CHANGES b/CHANGES index 6016151f0fccc8dffe75bcbaaaccbb2aee8f39f3..3b0d0b54a041cd5ecd6c4422ba6849558b1a2a29 100644 --- a/CHANGES +++ b/CHANGES @@ -5027,7 +5027,7 @@ done To be absolutely sure not to disturb the source tree, a "make clean" - is a good thing. If it isn't successfull, don't worry about it, + is a good thing. If it isn't successful, don't worry about it, it probably means the source directory is very clean. [Richard Levitte]