fix computation of pushdata