Pin 15 when configured as SPI comes out as "PI1 TX" instead of "SPI1 TX". The fault is in main.cpp, line 83. column 180.