This line was the culprit for the bug I ran into: the `break` statement here does nothing, since it is already at the end of the `case` clause, and it does *not* break out of the outer `for` loop (which was probably the intent!)