diff --git a/lang/en/editor.php b/lang/en/editor.php
index efbb71c476c..fdc8fa9f8b1 100644
--- a/lang/en/editor.php
+++ b/lang/en/editor.php
@@ -28,7 +28,7 @@ $string['createanchor'] = 'Create anchor';
$string['createfolder'] = 'Create folder';
$string['createlink'] = 'Insert Web Link';
$string['cut'] = 'Cut selection';
-$string['cutpastemozilla'] = 'Unfortunately, you can not currently use normal keyboard shortcuts (or even the Paste button) for Pasting text into this online editor. This is because of a security feature that is built in to some versions of Mozilla and Firefox browsers.
There are three known workarounds you can try:
(1) Instead of CTRL-v, use SHIFT-Insert
(2) Use the Edit->Paste menu in your browser
(3) Change the preferences in your browser by editing the user.js file.
Click the OK button below for more help, or Cancel to return to the editor';
+$string['cutpastemozilla'] = 'Unfortunately, you cannot currently use normal keyboard shortcuts (or even the Paste button) for pasting text into this online editor. This is because of a security feature that is built into some versions of Mozilla and Firefox browsers.
There are three known workarounds you can try:
(1) Instead of CTRL-v, use SHIFT-Insert
(2) Use the Edit->Paste menu in your browser
(3) Change the preferences in your browser by editing the user.js file.
Click the OK button below for more help, or Cancel to return to the editor';
$string['delete'] = 'Delete';
$string['filebrowser'] = 'File Browser';
$string['forecolor'] = 'Font Color';