Serial2 documentation is wrong

The documentation for Serial2 in the Spark core firmware section is wrong. It states:

Serial2: This channel is optionally available via the Core's D1(TX) and D0(RX) pins. To use Serial2, add 
#include "Serial2.h" near the top of your Spark App's main code file.

In fact you have to add #include "Serial2/Serial2.h". This works for me when compiling from the command line.