bug fix for Travis CI failure