Fix documentation rot