[CI] Amended a Travis-CI configuration file.