[#805] Fix documentation