Oops, that was spurious debugging that I forgot to remove. Good catch. Thank you!