diff --git a/mod/assign/feedback/editpdf/settings.php b/mod/assign/feedback/editpdf/settings.php
index d04e7627121..910c72e48ff 100644
--- a/mod/assign/feedback/editpdf/settings.php
+++ b/mod/assign/feedback/editpdf/settings.php
@@ -34,7 +34,7 @@ $setting = new admin_setting_configstoredfile($name, $title, $description, 'stam
 $settings->add($setting);
 
 // Ghostscript setting.
-$settings->add(new admin_setting_configtext('assignfeedback_editpdf/gspath',
+$settings->add(new admin_setting_configexecutable('assignfeedback_editpdf/gspath',
                                             get_string('gspath', 'assignfeedback_editpdf'),
                                             get_string('gspath_help', 'assignfeedback_editpdf'), '/usr/bin/gs'));