Thanks, Lee, for your reply.
When the GPS LED was blinking, I didn't restart the receiver. I didn't want to interfere with any process going on in the background.
Anyway, even without a restart by me, everything is normal again, no blinking GPS LED anymore
The firmware upgrading process didn't show up in the log file, btw.
Regards,
Frits