OK to change Berenkooi into Berenkuil, this looks like a mistake indeed.  Most sources agree, e.g. https://nl.wikipedia.org/wiki/Eugène_Verboekhovenplein

But, as I stated in the latest changeset comment (https://www.openstreetmap.org/changeset/47536564), this name is not official at all and should not appear on the map in the first place.

Fixed.