Fixed the Travis configuration file.