In commit 2248d4d9a4 (#13883) I incorrectly migrated a loop. Fixes #14052. Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2248d4d9a4