'64 Barracuda brake pedal pivot

The brake pedal is pretty sloppy on the pivot tube, is there supposed to be a bushing between the two? Thin sleeve of nylon, maybe?