Perhaps a Travis fix