The Antarctic ozone hole has shrunk