re: football rules question

The rule is:
A player is out of bounds when any part of his body is touching anything, other than another player or game official, that is out of bounds.

I did not see the play, but it sounds like the defender is out of bounds but the receiver would not be out of bounds until part of his body touches the ground out of bounds.