Some small fix to x=y->z