That's SBAS/WAAS! another cool thing
This is trying to measure ionosphere disturbances which affect signal propagation rates via ground reference stations. The real-time model is then calculated and distributed using ground stations and geostationary satellites.
GPS is way, way cool, and it's a pity the extent of its engineering is not better known.