https://www.openstreetmap.org/way/625597279
https://www.openstreetmap.org/way/625597277

Cursory inspection seems yes they should be merged into one, though I'll need to study this some more whether to make it into one big polygon or a multipolygon ...