another Travis fix