The size is actually 7 toddler, not 7.5, but the only option for size 7 said infant. I would even say they fit more like a 7.5 too, they run bigger (and can be worn for so long which is what I loved about them- my little one measured a 5.5 when I bought these). These are SO cute. Beautiful navy color goes with almost everything. If the laces bother you, you can always put the “Hickies” laces in. These are hard to let go of!