Glad they did it, tbh. As Jayson says, it's difficult to take any action against a player who fell when there was contact, however slight, but I think it's essential to make an example of players in a case like this when it's plain that he wasn't even touched.