$newline never

_{MsgCorrectionInvisibleWarning}

$if not (null correctionInvisibleReasons)
  <br />
  _{MsgCorrectionInvisibleReasons}
  <ul>
    $forall reason <- correctionInvisibleReasons
      <li>_{reason}