Minor Travis-CI patch