Also did fmt, and forgot to separate the commits so now the diff is ugly.
The note is not visible to the blocked user.