debug failure on Travis CI