Fixing getSSHPublicAddr bug