Check if this fixes the Travis test