Placate `-Wformat'.