Thank you - you discovered a bug!
Suggestion from 
philipn on Jan. 28, 2022, 9:54 a.m.
Thanks!
Changes in this suggestion:
philipn authored on Jan. 28, 2022, 9:54 a.m. Suggestion from
philipn authored on Jan. 28, 2022, 9:54 a.m.