- /* TRANSLATORS: Don't translate the words `terminal' or `listing'. */
- error (0, 0, _("%s is not a valid device type (the choices are "
- "`terminal' and `listing')"), device_string);
+ error (0, 0, _("%s is not a valid device type (the choices are `%s' and `%s')"),
+ device_string, "terminal", "listing");