I've checked the render in mapy.cz and is really horrible, I would say this is a bug of their renderer.
For example all otherr rendered in OSM are OK.
Osmand renders an additional decent little cross on the peak symbol (very small one) -> i'd say this is the perfect way.

So I'd just close this as solved because all tags are correct.