Make Travis verify