Penalty is a fair call. We'd expect if they did they touched the ball in the box.