Thanks for spotting. The housenumbers were all sorts of messed up here, so I deleted them in <https://www.openstreetmap.org/changeset/153464357>. They'll have to be resurveyed. If you're interested, "Every Door" or "Go Map!!" are pretty good mobile apps for adding house numbers