Slight refinement on travis configuration.