Fixed small bug with dual "//" in discover.sh