That was a mistype, not an attempt at a pun!  I don't know what made
me write "fall" instead of "all", but whatever it was, I hope it
never happens again.  Sorry.

Ben