Update for Travis-CI