TravisCI bug fix