diff --git a/src/ansi-c/goto_check_c.h b/src/ansi-c/goto_check_c.h
index a15c700df69..451bfa15c3c 100644
--- a/src/ansi-c/goto_check_c.h
+++ b/src/ansi-c/goto_check_c.h
@@ -63,7 +63,7 @@ void goto_check_c(
   "enable pointer arithmetic over- and underflow checks\n"                     \
   " {y--conversion-check} \t "                                                 \
   "check whether values can be represented after type cast\n"                  \
-  " {y--undefined-shift-check} \t check shift greater than bit-width"          \
+  " {y--undefined-shift-check} \t check shift greater than bit-width\n"        \
   " {y--float-overflow-check} \t check floating-point for +/-Inf\n"            \
   " {y--nan-check} \t check floating-point for NaN\n"                          \
   " {y--enum-range-check} \t "                                                 \