13e8c216d2ed ("misdn: avoid -Wempty-body warning")