I sacrificed clarity for brevity. That's seldom a good choice. I'll change it.