--- a/ImageEditor.st	Fri Jan 17 04:27:22 2020 +0000
+++ b/ImageEditor.st	Fri Jan 17 19:51:35 2020 +0100
@@ -554,13 +554,13 @@
 'Toggle between left and right mouse button color'
 
 #nextImageInSequence
-'Go to the next image in the animated gif image sequence.'
+'Go to the next image in the image sequence.'
 
 #previewView
 'Shows a preview of the image'
 
 #previousImageInSequence
-'Go to the previous image in the animated gif image sequence.'
+'Go to the previous image in the image sequence.'
 
 #resetHueShift
 'Reset the hue shift to zero (for unchanged hue)'