Quick fix on ssh options