Clarify that the bind operations are recursive

Close #539