format
Signed-off-by: Anders Kaseorg <anders@zulip.com> (cherry picked from commit bca5564c1e)
bca5564c1e