[GHC] #12155: Description of flags cut off