hackthemap
According to other sources (not usable by osm directly), this building https://www.openstreetmap.org/way/135194214 has a different house number.
What is the house number of this building?
If it is really 9, it could be noted e.g. in a note=* tag.