Hi James, this was, indeed, an error and has been fixed in the latest commit in this PR. Thanks for catching it!