Oops, this was an artifact. I removed it.