I just pushed this fmt change to master in a separate commit.