That looks like an oversight. I fixed it.