Fix false positive reporting on Travis CI