Fixing Travis crash