minor doc and travis ci fix for not using mirrors.