Artifact from old debugging code. Thanks for catching it.