Minor update on travis