Follow up on travis fix