diff --git a/src/frontend/dotcards.c b/src/frontend/dotcards.c
index 7ad0d4323..416174d0a 100644
--- a/src/frontend/dotcards.c
+++ b/src/frontend/dotcards.c
@@ -182,7 +182,7 @@ ft_cktcoms(bool terse)
 
     /* Listing */
     if (ft_listprint) {
-	if (terse)
+	if (FALSE)
 	    fprintf(cp_err, ".options: no listing, rawfile was generated.\n");
 	else
 	    inp_list(cp_out, ft_curckt->ci_deck, ft_curckt->ci_options,