tweak a proof slightly

for some reason it failed when I tried it on another machine.