Max SPI speed - description wrong?

In the spi.configure() description it states ‘The imp can only generate certain data rates for SPI, which range from 117kHz to 18MHz, depending on which model you are using’. While looking at the tables the max value 18MHz matches what is listed for the IMP003, for IMP001 and IMP002 the table states 30MHz (spi257)!?
Are the tables correct and should the text state 117kHz-30MHz?

The tables are correct – although the very fastest rates are a bit theoretical anyway, as it’d be hard to generate data from Squirrel that quickly.