A note on Graftings, Rotations, and Distances in Binary Trees