Arduino_MKRGPS not fully shutting down


I'm creating a battery powered project with the MKR NB 1500 and the Arduino_MKRGPS Shield.
I found that the extintPin (Pin 7) is not going to low when you call GPS.end() or GPS.standby().
If I write the following two lines after GPS.standby(); GPS.end(); and my power goes from 40 mA down to 10 mA
pinMode(7, OUTPUT);
I looked in the library and I'm not seeing where the extintPin is defined or how I'm supposed to define it in the main program.

Is this a bug with the library?


Any Input on this would Be Great!