Fix to the Travis-CI configuration.