My bad - should have not let this pass through the pull request - along with some other local setting that you mentioned. Thanks for spotting it William. Should I make the change now or is this something for submission judgement?