A Note on Rémy's Algorithm for Generating Random Binary Trees