MKR1000 Port problem solved

I have just got the MKR1000. I´ve pluged it into the USB-Port of my Mac, choose MKR1000 Board-Definition in the IDE and … no port showed up. This problem has been addressed several times in this forum and elsewhere including the simple solution.
But anyway I wanted to explicitly mention it again: Press the little white knob in the middle of the mkr1000 twice, like a double click. And bobs your uncle, the choosen USB-port shows up.