another (hope the last one) fix for Travis