My eagle-eye editor caught that. Thanks, Mike! (and that wins you a pass on the classic “public” typo!)