Small mistake in 88400f0c03. Not having this break would be harmless, but we can avoid some unnecessary work with it.
88400f0c03