If he used the stock pedal assembly, the stock clevis(rear in pic) between the pedal & booster should be adjustable.
My pedal sat too high so I had a friend make THIS adjuster(front in pic) to work w/a clevis.Joe