Small fix for travis