Travis: fix bug