No, this one isn’t mapped as "the whole building", it had been drawn as an area, but the area is smaller than the entire building, it has level=0 and it does not having a building tag on its own. This looks like correct mapping.
https://www.openstreetmap.org/way/373272374