Parts of stronghold lava pools in deep oceans turn to obsidian

The bug

For some strongholds generating in deep oceans their lava pools turn into obsidian even if no water is directly next to them.

How to reproduce

Last checked for 1.12.2

Seed: 1
/tp -10251 40 5657 -50 45