Small fix for travis-ci