Tiny changes for Travis-CI.