Fixing travis-ci