How many pins of the Arduino Micro are really useable as digital I/O pins?

Ahhh, I just noticed that the Leonardo – unlike the Micro – doesn’t lead the MISO, MOSI, SS and SCK pins to the outside (except for the ICSP-header). So probably just a simple copy&paste mistake in the description page?