Got rid of a travis-CI thing