Fixing Travis bug