Eclipse needs $http_proxy set if the shared instal is used
Fix typo in help text