to_iso[_extended]_string documentation

[anonymous]

Hi,

documentation (I use 1.56.0 but it's also in latest) says that output format of to_iso_extended_string(ptime) (and it also applies to to_iso_string(ptime)) is YYYY-MM-DDTHH:MM:SS,fffffffff (and YYYYMMDDTHHMMSS,fffffffff). But my output is for example

namespace pt = boost::posix_time;
std::cout << pt::to_iso_extended_string(pt::time_from_string("2002-01-31 10:00:01.123456")) << std::endl;
// output: 2002-01-31T10:00:01.123456
std::cout << pt::to_iso_string(pt::time_from_string("2002-01-31 10:00:01.123456")) << std::endl;
// output: 20020131T100001.123456

Is it bug in documentation or did I miss something?