Done. Thanks for the suggestion - that is the behavior we want.