Very nice simplification, Mike!  I really should have known that.