You are probably thinking of https://www.openstreetmap.org/note/4745192 ?

Anyway, the current mapping seems correct. However, as there are some open notes nearby that cannot be resolved without a survey, it may be fine to leave this open and wait for someone to survey this alongside.