Pin error?

[Schmeldric34]

Hello,

I think there might be an error in pins_arduino.h
Line 63 : #define PIN_A7 (21)
This pin is connected to the built-in button on the mBot.
But on the pcb.pdf the 21 pin is grounded. The A7 pin is connected to pin 22 (ADC7).

My apologies if this is a mistake.
I am using both mBot and Arduino Uno with my students ans sometimes need to use mBot Ports by pin number...