Fix documentation, again