Fixing Travis highlights

because the conversion failed.
see https://travis-ci.org/progit/progit/builds/16434388