Board is MKR1000 but port menu displays MKR WiFi 1010

Hello,

Sorry, I wrote too soon! The issue has resolved itself with a refresh and now the board/port pair are now matched to MKR1000.

Regards.

P.S. and the WiFi connection is correct!