Correcting Travis configuration.