SPI_SCK in daisy_patch_sm.h - oddity encountered?

[rackd0]

Using DaisyDuino (1.7.0) and Adafruit GFX & SSD1351 libraries with Daisy PatchSM (on patch.Init() hardware) I couldn't get an SPI RGB OLED display to operate - it wasn't seeing any SPI clock signal when using the pin mappings below, taken from daisy_patch_sm.h:

//periphs
#define PIN_PATCH_SM_SPI_SCK PD10
#define PIN_PATCH_SM_SPI_CS PB4
#define PIN_PATCH_SM_SPI_MOSI PC2_C
#define PIN_PATCH_SM_SPI_MISO PC3_C

I had to change the pin specified for the SPI clock from PD10 to PD3 (or specify PIN_PATCH_SM_D10 instead) to get the SPI clock signal out of physical pin D10 on the PatchSM board; it's now all working.

Is this my lack of understanding/error or is something slightly odd going on with daisy_patch_sm.h & mapping of this pin? An expert opinion would be very welcome, please!