Make Travis happier