Fix condition on Travis CI configuration