Small Travis CI build fix (#4165).