Oh, sure. That's an aftermath of my (failed) attempt to make this more readable.