@dengemann this is a private function, why the opposition to the new parameter? (BTW @TalLinzen by convention we always put `verbose` last, so your new parameter would need to precede it.)