Fix documentation section