Comment by kevin

Ah, good catch. Thanks for sharing a recording of the bug.