you’re correct. good catch and fixed.
the problem is they keyboard shortcut works sometimes. which is the worst kind of bug.