Fix documentation of Std::Enable