Small travis-ci changes