Does anyone know what's with the notch cut out on the top of the Gen. 4 Glock mags? I just picked up 2 New G19 magazines & asked the guy who was selling them but he had no clue, only that they would fit all G19's. Any input would be appreciated. Thanks!