Fixing travis bug