Correcting Travis config.