POSCMOD Setting in PIC32 Demo from FreeRTOS

Hi! In the PIC32 Demo coming with FreeRTOS v7.0.1 in main.c there is the setting
#pragma config POSCMOD = HS IMHO this is not correct for the 8 MHz oscillator and should be:
#pragma config POSCMOD = XT I don’t know if this setting has big impact at all, because in Microchip’s demos they seem to set it as they currently feel like :( Regards,