Oh-ho! I see how that works now. Very clever, I like it. Can you add a comment to that effect? Then I'll merge this and do a release.