I disagree on this "correction". 

"pavilion" as a building type is pretty uncommon in Germany, and would mostly associated with sports. 

It is much more common to name Kiosk type buildings in parks as "pavillon", or building structures without a fixed roof - tent like structures.

And looking at the first changeset creating this building supports that.

Flo