possible Travis fix