Incorrect computed postcode - 3464 Austria

The search for village Pettendorf in Lower Austria https://www.openstreetmap.org/search?query=Pettendorf&zoom=14&minlon=16.05059623718262&minlat=48.368680976330914&maxlon=16.185350418090824&maxlat=48.41797966948589#map=14/48.40490/16.05944&layers=N returns postcode 3463 instead of 3464. The same is true for [Gaisruck](https://nominatim.openstreetmap.org/ui/details.html?osmtype=N&osmid=73764140&class=place) to the south. Debugging output: https://nominatim.openstreetmap.org/ui/details.html?osmtype=N&osmid=83618264&class=place Individual addresses in the village are all coded with `addr:postcode`. The postal_code relation is https://www.openstreetmap.org/relation/19408434#map=13/48.39086/16.10390. There are no bad postcodes in the area. From the documentation I gather that Nominatim sadly doesn't use the postal_code relation, but even based on adjacent addresses the result should be 3464.