Verify fix on travis