ExpanDrive not using correct port from .ssh config.

I've got a variety of ssh hosts set up as shortcuts in .ssh/config. I can use these both from the command line (ssh hostshortcutname) and from ExpanDrive with no problems (entering just the hostname in the ExpanDrive setup). This is great. Note that they are set up with ssh keys for passwordless login.

The problem is when I use a non-standard SSH port in the .ssh/config file. I can use the shortcut on the command line with no problems so I know that it's set up properly, but ExpanDrive fails to connect unless I also include the port number in the ExpanDrive setup. Not a huge problem but it would be nice it ExpanDrive could check the port from .ssh/config as well.