fix on travis