Pin 7... is labeled GPIO 4? That's confusing! Luckily, there are many pin diagrams freely available to help us translate, as shown in the following diagram:
A GPIO/pin map (source: raspberrypi.org)
Also, the Raspi-IO library will accept many names for the same pin, as shown in the handy conversion table in the wiki:
The pin table from the Raspi-IO wiki
Keeping one of these pin guides handy is helpful when wiring up any Johnny-Five project on the Raspberry Pi.