Mini210 manual - Wrong led gpio's

Correct me if I am wrong but seems that manual for Mini210 shows incorrect
GPIO numbers for LED's.
Manual states that LEDs are connected:
LED1: GPJ_0
LED2: GPJ_1
LED3: GPJ_2
LED4: GPJ_3
But when I look at the schematics, LEDs are wired:
LED1: GPJ2_0
LED2: GPJ2_1
LED3: GPJ2_2
LED4: GPJ2_3

Any comments?

If you want to check that the leds are correctly named, look in the LED
driver in the kernel sources :)