Enterprise Cobol - empty SECTION and statement in SECTION without PARAGRAPH

We see unexpected behavior of the Cobol compiler when using SECTION in PROCEDURE DIVISION.
This for the V4R2 and V6R2 versions.

Case 1

When a SECTION is empty, SECTION declaration followed immediately by another SECTION declaration, the compiler issues an IGYPS2015-I information message.
However, according to the Language Reference, this is allowed.

000012 MAIN-FN SECTION.
000013 SECOND SECTION.

== 000013 ==> IGYPS2015-I The paragraph or section prior to paragraph or section "SECOND" did not
contain any statements.

This construction (empty SECTION) can be useful to mark the end of scope of a "PERFORM section" by declaring an empty SECTION after the performed SECTION.
Optionally, the presence of an EXIT instruction can be imposed so that the SECTION is not empty, without requiring the presence of a PARAGRAPH between the declaration of the SECTION and the EXIT instruction.

Case 2

When an instruction is directly defined in a SECTION, without introducing a PARAGRAPH, no message is sent by the compiler.

According to the Language Reference manual, the presence of instructions directly at SECTION level, without PARAGRAPH, would not be allowed.

The ISO standard allows the presence of instruction directly in a SECTION, without PARAGRAPH.

000012 MAIN-FN SECTION.
000013 Display 'MAIN-FN'.
000014 SECOND SECTION.
000015 Display 'Second'
000016.
000017 SECOND-FN SECTION.
000018 Display 'SECOND-FN'.
000019 END PROGRAM TestSect.

These cases do not seem to be identified in the "A. IBM Extensions" chapter of the Language Reference.

The rules of dependencies between SECTION, PARAGRAPH and instructions should be clarified.

Our opinion :
- an instruction must not be able to be declared directly in a SECTION, except the EXIT instruction which in this case must be the only instruction of the SECTION.
- a SECTION containing only the EXIT statement, without PARAGRAPH, must be allowed.