Sorry @User, my mistake, I thought I'd checked the diff amp symbol but I'd obviously not looked properly. One of the symbol pins was

out

and the other

in

so that explains it.