Don't quibble on details. The point is that as long as he didn't profit from the bets, he is free to mess around that way.

This isn't share price manipulation.