Sometimes, although the stronghold generated the portal so the stronghold would not be generated again, but some structures of the stronghold would seal the way to the portal. It means that players can hardly find the portal without plenty of mining.

The way to reproduce the bug:

1.Create a new world with the seed "1162038610", then /tp -722 25 495

✔ The portal is there

2.Follow the only passageway in the room

❌The road was sealed

(But please do not mind my English)