Work around a `-Wformat-overflow` warning