You mean Luigi, of course.
Had to look it up. You are quite correct. For some obscure reason I was thinking both brothers were named Mario.