Two buildings are still showing on most of the imagery in JOSM (but one or both are often hidden by trees. Esri at first seems to confirm only one building is there, but look closely -- it's due to a serious misalignment of the imagery and after properly aligning the imagery to other buildings (-3.58; 4.48 seems to do it) you'll again see what seems to be the skylights of two buildings partially obscured by trees. But possibly the most interesting is OS Opendata which shows a *single* building occupying the space of *both* of those buildings,
.
Because of those trees, the satellite views don't help to confirm whether one of the buildings should be deleted or the two buildings should be joined, so if you are still there can you recheck whether the single building you see, when viewed from the cycle path, is wider than it is deep -- which would confirm that OS Opendata is correct.