An example of frugality in government