@czue @millerdev Ok, that makes sense and is also a trivial change anyway. Added (in a different PR)