Commit 22a5d008c1 incorrectly left this out. Signed-off-by: Anders Kaseorg <anders@zulip.com>
22a5d008c1