Travis-CI fix