correct travis-ci file