diff --git a/filter/tex/lang/en/filter_tex.php b/filter/tex/lang/en/filter_tex.php
index c06a83d43b6..ce3f8b24b25 100644
--- a/filter/tex/lang/en/filter_tex.php
+++ b/filter/tex/lang/en/filter_tex.php
@@ -23,7 +23,7 @@
* @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
*/
-$string['configconvertformat'] = 'If latex and dvips and are available, they are used to GIF or PNG images if convert is also available or if dvisvgm is available SVG images as specified. Otherwise mimeTeX will be used, and it will create GIF images.';
+$string['configconvertformat'] = 'If latex and dvips are present in addition to convert or dvisvgm, select the preferred image type (convert produces GIF or PNG; dvisvgm produces SVG). Otherwise mimeTeX will be used to to create GIF images.';
$string['convertformat'] = 'Output image format';
$string['latexpreamble'] = 'LaTeX preamble';
$string['latexsettings'] = 'LaTeX renderer Settings';