Yun IP Address not in Port Menu

The SSH instructions here: http://arduino.cc/en/Tutorial/LinuxCLI
say that the Arduino's IP address should be listed in the ports menu.

However, it does not display in my menu, here is a screenshot:

IDE 1.5.6-r2, Mac.

Any suggestions? I need to ssh in!

Thanks a bunch!

You may wait several minutes to find it.

Figured it out.

I entered an incorrect (all lower-case) network name when initializing the Arduino's wifi. Turns out network names are case-sensitive!