I figured. I admit I tend to be pedantic about the US military spending figure because, while huge, it is not nearly as large a portion of govt spending as most people think.