Fix documentation minutiae