I found this $\alpha$-conversion below in a certain book:
$(\lambda x. x(\lambda z. xy)) = \alpha (\lambda z. z(\lambda x. zy))$
Well... this seems wrong to me, since $z$ is a binding variable in $(\lambda x. x(\lambda z. xy))$.
Am I just not understanding?