Ben: fix travis ci