bug in pins_arduino.h?

The eight analog pins variant of pins_arduino.h contains the following code

#include "../standard/pins_arduino.h"
#undef NUM_ANALOG_INPUTS
#define NUM_ANALOG_INPUTS           8

the standard variant contains

#define NUM_DIGITAL_PINS            20
#define NUM_ANALOG_INPUTS           6
#define analogInputToDigitalPin(p)  ((p < 6) ? (p) + 14 : -1)

Shouldn’t the standard variant read

#define NUM_DIGITAL_PINS            20
#define NUM_ANALOG_INPUTS           6
#define analogInputToDigitalPin(p)  ((p < NUM_ANALOG_INPUTS ) ? (p) + 14 : -1)

Otherwise the redefinition of NUM_ANALOG_INPUTS is more or less meaningless. Or am I missing something?

OK, found it out by myself: A6 and A7 do not work as digital pins --> the files are correct, I was just not fully understanding the datasheet.