Repairing Stevenson's step in the 4d Ising model