Last Travis-CI fix