possibly Travis fix