They were right that's the smallest Mario I've ever seen. He's so small you can't see him.
https://www.youtube.com/watch?v=jHepjitYJmM